Dependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets
نویسندگان
چکیده
Mechatronic automotive systems are hybrid systems. Modelling and simulation of the interactions between continuous and discrete parts is essential to evaluate dependability. In this paper we show how a simple mechatronic system can be modelled in the CPN formalism. Quantitative dependability evaluation is obtained thanks to MonteCarlo simulation. We use the DesignCPN Occurrence Graph tool to validate the model and make a qualitative analysis of the system.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملUsing Coloured Petri Nets for integrated reliability and safety evaluations
Integrated Deterministic and Probabilistic Dependability Analysis (IDPDA) is respectively required for safety properties verification and reliability & availability assessment of critical systems. This paper presents an approach towards IDPDA using Coloured Petri Nets (CPN). Contributions are related to: (a) hierarchical modelling guidelines that cover deterministic and probabilistic features o...
متن کاملA Concept for the Modular Description of Stochastic Petri Nets
Petri nets represent a modeling paradigm which allows to build general models by using a small number of graphical primitives. The strong point of Petri nets lies in their ability to model system aspects such as concurrency and synchronization and to represent these aspects graphically. Due to this reason, stochastic Petri nets (SPNs) are frequently used for model-based performance and dependab...
متن کاملPetri Nets and Dependability
Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic ...
متن کاملColoured Stochastic Activity Networks: Preliminary Definitions and Properties
Several high-level extensions have been introduced for Petri nets (PNs). Coloured Petri nets (CPNs) are the most famous high-level extensions of PNs. Stochastic activity networks (SANs) are a stochastic generalization of PNs. These models have widely been used for dependability and performability evaluation purposes and are supported with a few powerful modeling tools. To provide some high-leve...
متن کامل